mca_prem_output and mca on last premise