title: Can an OCL Post condition be inside an if then statement?
body: <p>I'm new to OCL and I have some doubts about how the pre and postconditions work.</p>
  
  <p>Can a post condition be placed inside an if then statement?</p>
  
  <p>For example, the following piece of code is valid or I'm just mixing concepts?</p>
  
  <pre><code>Context [some context here]
  if ( 
  ... some conditions...
  ) then ( 
  result = 1
  post: self.isComplete() -- for example
  )
  endif
  </code></pre>
  
  <p>Thank you very much for your help</p>