wip: detection of feasible traces in REIL programs