Member predicate Position::getParameter

Gets the parameter of f associated with this position, if any.

Since a Position is defined by both an argument index and an indirection multiple Positions can be associated with the same Parameter.