Calculates maximum stack height for given code section. According to EIP5450 https://eips.ethereum.org/EIPS/eip-5450

@returns true if and only if the contract's or any of its bases' constructors use inline assembly.

Selects at most @a _numVariables among @a _candidates.

Clean temporary directories

Removes edges to blocks that are not reachable.

Checks if a path is available and leads to a data entry.

Takes an iterable of lines and adds the current byte index so it's available when iterating or looping.

Defines @a _var using the value of @a _value while performing type conversions, if required.