Table constant_value

predicate constant_value(@variable id, string value)