[30-06-13] unify-lit? and unify-pred? compacted in applicable-action?