added prizms derivation assertions in TIC