Problem with coding AndRule in scm