Add Attachment:SSH-36: Possible bug in Var/1 congruence