added second example synthesised attribute that uses the smin attribute