Add assertions composition