model expression for detection of unbound variables