Added the cond rule and basic evaluation of SecPAL