No assignments of x or u if sm rep.