added Procedure validation
removed unnecessary imports