Problem with rev. is/2 arguments are not sufficiently instantiated