improve where clausal compiler