Reviewed-by: kvn, thartmann, chagedorn
Correctly registered new Opaque4Node in add_range_check_predicate Reviewed-by: roland, thartmann