Prop-c blocks for logic, procedures and variables