code: public EClassifier findCurrentTypeAfter(AbstractElement element) {
  		final AbstractRule rule = GrammarUtil.containingRule(element);
  		Implementation implementation = new Implementation();
  		implementation.computeResult(rule, element);
  		return implementation.getResult();
  	}
docs: Find the type of the current variable after an AbstractElement was consumed.
  If the AbstractElement will instantiate a new type (e.g. is an Action),
  the instantiated type will be returned. If the element may occur in a
  path that leads to an unassigned current element, <code>null</code> may
  be returned. If the element is optional and changes the type, this method
  will return the changed type as if the element were consumed.