Add templates for remaining preconditions