import "field_logic";

rewrite zero_plus_ten:
 builtin_plus(numeric_const(0),numeric_const(10)) = numeric_const(10)

rule sub_eq_hack1:
 | |- !sub({val=?v1;cnt=?c1},{val=?v2})
if
 | |- ?v1=?v2

rule sub_eq_hack2:
 | |- !sub({val=?v2},{val=?v1;cnt=_c1})
if
 | |- ?v1=?v2