Error code: VUAR(2)
Type error: non-conforming actual argument in feature call.
What to do: make sure that type of actual argument conforms to type
  of corresponding formal argument.

Class: APPLICATION
Feature: make
Called feature: do_with_p1 (p1: P1) from APPLICATION
Argument name: p1
Argument position: 1
Actual argument type: A
Formal argument type: P1
Line: 16
        a.from_p1
->      do_with_p1 (a)
        l_p1 := a

Error code: VJAR
Type error: source of assignment does not conform to target.
What to do: make sure that type of source (right-hand side)
  conforms (in the sense of inheritance rule) to type of target.

Class: APPLICATION
Feature: make
Target name: l_p1
Target type: P1
Source type: A
Line: 17
        do_with_p1 (a)
->      l_p1 := a
      end