Table autoderivation

predicate autoderivation(@variable var, @type derivation_type)