Implement substitute infitive handling

The rb_verb_analyzer does not properly handle substitute infinitives as in "ich habe ihn sehen müssen", but such handling is necessary to properly handle modal verbs. (Such handling was included in former versions of MONAPipe.)