Universal backend: support all the procedure representations on all targets