Added hack '$CLAUSE'/1