nunoplopes/alive — pull request #1 by davemenendez (2014-07-03 04:02:39+00:00)
Title: Support for functions in preconditions, e.g., width

In particular, this lets us express:

Name: AddSub:1386
Pre: C == width(%a) - 1

%a = lshr %x, C
%r = sub 0, %a
=>
%r = ashr %x, C