This function always returns None, meaning that its return value should be disregarded
predicate isProcedure()