add assertion templates