if (isSinglePost and isLoggedIn) {
   // do something
}

if ( expensive_function (a) && another_expensive_function (b) ) {}

if ( a != 0 && 1.0 / a > 0.3) {}

if ( expensive_function (a) & another_expensive_function (b) ) {}

#define A_BEZ (A_LEFT | A_CENTER | A_APPROX)

if (i < n && a[i] < k)

INT a := ...;                          # REF INT variable a becomes ... #
INT b := ...;
IF a < b THEN a ELSE b FI := ...;      # Assigment to a condition LHS #
(a < b | a | b ) := ...;
(node = nil | list.head | node.next ) := ...;
BOOL c = a = b OR IF i < n AND IF v[i] < a THEN b > a ELSE  a < v[i] FI;
BOOL c = a = b ∨ ( i < n ∧ v[i] < a | b > a | a < v[i]);