implement iscont with clever non-branching strats