bugfix: locsw is matched, and keep compiled clauses off xsb