Add debug information about whether an Assertion Predicate is for the init or last value

This RFE should add a string in the node dump of Template and Initialized Assertion Predicate IfNodes to inform whether it was created for the init or the last value.