Ensured procedures are only made with symbols for binding against (and test)